void do_tests()
{
	object ob = new(__FILE__);
	ASSERT(ob);
	destruct(ob);
	ASSERT(!ob);
}
